1. Algebraic computability and enumeration models : recursion theory and descriptive complexity
المؤلف: Nourani, Cyrus F.
المکتبة: (طهران)
موضوع: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
2. Algebraic recursion theory
المؤلف: Ivanov, Ljubomir Lalov, 2591-
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
I93
3. Algebraic recursion theory /
المؤلف: L.L. Ivanov ; editor, Dr. J.L. Bell
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Recursion theory
رده :
QA9
.
6
.
I93
1986
4. Bounded Queries in Recursion Theory
المؤلف: \ William 1. Gasarch, Georgia A. Martin
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Information theory,Computational complexity,کامپیوتر,نظریه اطلاعات,پیچیدگی محاسباتی,a03,a04,a05,a03,a04,a05
رده :
E-Book
,
5. Bounded Queries in Recursion Theory
المؤلف: by William I. Gasarch, Georgia A. Martin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
6. Bounded queries in recursion theory
المؤلف: Gasarch, William I.
المکتبة: (طهران)
موضوع: ، Computational complexity,، Recursion theory
رده :
QA
267
.
7
.
G3
7. Classical recursion theory: the theory of functions and sets of natural numbers
پدیدآورنده : Odifreddi, Piergiorgio
موضوع : ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Classical recursion theory : the theory of functions and sets of natural numbers
المؤلف: Odifreddi, Piergiorgio, 0591-
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
O35
1989
9. Complexity, Logic, and Recursion Theory
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: MATHEMATICS / Applied.,MATHEMATICS / General.
10. Complexity, logic, and recursion theory
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Recursion theory. ;
11. Computability theory: An introduction to recursion theory
المؤلف: / Enderton H.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
12. Computability theory :an introduction to recursion theory
المؤلف: Enderton, Herbert B.
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
E53
2011
13. Computability theory : an introduction to recursion theory
المؤلف: Enderton, Herbert B.
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
E53C6
14. Computability theory :an introduction to recursion theory
المؤلف: / Herbert B. Enderton
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Recursion theory
رده :
511
.
35
E56C
2011
15. Foundations of mathematical system dynamics : the fundamental theory of causal recursion and its application to social science and economics
المؤلف: Aulin, Arvid.
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Economics, Mathematical,، Social sciences- Statistical methods
رده :
HB
135
.
A865
1989
16. Fundamentals of generalized recursion theory
المؤلف: Fitting, Melvin, 2491-
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
17. Fundamentals of generalized recursion theory
المؤلف: Fitting, Melvin
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
18. General recursion theory
المؤلف: Fenstad, Jens Erik
المکتبة: (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F46
1980
19. General recursion theory : an axiomatic approach
المؤلف: Fenstad, Jens Erik.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
F46
20. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
